Boolean laws